Словарь по логике - принцип объемности (экстенсиональности)

принцип теории множеств, суть которого в том, что два множества (класса), состоящие из одних и тех же элементов, равны (совпадают, являются равнообъемными). Применительно к логике П. о. можно сформулировать так: два предиката (свойства, отношения, понятия) могут быть отождествлены друг с другом (являются неразличимыми в определенном смысле), коль скоро они имеют один и тот же объем. Так, множества, соответствующие предикатам (и соответствующим им понятиям) "равносторонние прямоугольники" и "равноугольные ромбы", одни и те же: они представляют собой множество квадратов. Эти понятия можно отождествлять между собой, сделать неразличимыми в отношении доказательства теорем. В классической логике широко используется этот принцип. Но в опытных науках П.о. постоянно нарушается: приходится различать равнообъемные понятия по свойствам, которые в них зафиксированы. Эти свойства могут быть существенными и несущественными, более существенными и менее существенными для решения различных задач. Так, два понятия "животное, способное производить орудия труда" и "животные, обладающие мягкой мочкой уха" равнообъемны: они выделяют, специфицируют один и тот же класс класс людей. Но во многих случаях мы не можем их отождествлять, напр., когда пытаемся дать определение человека как общественного существа. Из двух определений "Человек есть животное, способное производить орудия труда" и "Человек есть животное, обладающее мягкой мочкой уха" мы безусловно выберем первое и отвергнем второе.